Section: Application Domains

Floating-point and Validated Numerics

Our expertise on validated numerics is useful to analyse and improve, and guarantee the quality of numerical results in a wide range of applications, from scientific simulation to global optimization or control theory. Much of our work, in particular the development of correctly rounded elementary functions, is critical to the reproducibility of floating-point computations.